|
|
Model Based Design of the Conference System
Caha, Matěj ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the topic of model-based design and application of simulation in system design. In the introduction, the thesis discusses the history of software development process and outlines the current status. The aim is to demonstrate a model-driven design on a case study of conference system. There will be presented formalisms of DEVS and OOPN together with experimental tools PNtalk and SmallDEVS that allow to work with these formalisms. The resulting model of conference system will be deployed as part of a web application using a framework Seaside in the Squeak environment.
|
|
|
Grammatical Evolution in Software Optimization
Pečínka, Zdeněk ; Minařík, Miloš (referee) ; Sekanina, Lukáš (advisor)
This master's thesis offers a brief introduction to evolutionary computation. It describes and compares the genetic programming and grammar based genetic programming and their potential use in automatic software repair. It studies possible applications of grammar based genetic programming on automatic software repair. Grammar based genetic programming is then used in design and implementation of a new method for automatic software repair. Experimental evaluation of the implemented automatic repair was performed on set of test programs.
|
|
|
Refactoring of Object Orientated Application
Solárik, Martin ; Burget, Radek (referee) ; Kreslíková, Jitka (advisor)
This document is the masters thesis called refactoring of object oriented application. Goal of this document was to introduce the problem of refactoring and apply gained knowledge on real software project. Document is divided into six chapters. The first chapter is introduction, the term refactoring is defined there with a brief history. Next chapter explains basic principles of refactoring, advantages and disadvantages of using refactoring. The third chapter is called catalog of refactorings and describes common patterns of refactoring. Next two chapters describe .NET platform and tools, which support refactoring on this platform. Sixth chapter is about real application of refactoring. Final chapter is conclusion and summary.
|
|
|
Web Information System and its Security Principles
Nehasil, Filip ; Rychlý, Marek (referee) ; Očenášek, Pavel (advisor)
The main topic of the thesis is problem of the security of the web application. Spheres that are likely to be vulnerable are thoroughly examined and ways of protecting the application in the area of access control, data transfer, user input, output and state keeping are suggested. Furthermore, with regard to the security, possible solutions of audit, backing up, web server security, database design and protection against spam robots are described. This project is also concerned with the analysis of requirements, detailed design and implementation of the club information system with demonstration of mentioned security solutions. The systems of members' evidence, evidence of breeding dogs and their pedigrees, publication of actions and results and the content management system of other sections of the web presentation are among others implemented within the scope of this IS. All the implementation solutions are based on HTML, CSS, JavaScript, PHP and MySQL technologies.
|
|
|
Program for Interactive Family-Tree Making
Navrátilová, Eva ; Zbořil, František (referee) ; Rozman, Jaroslav (advisor)
This thesis describes the design and implementation of an application for interactive family-tree making. The application supports importing and exporting data in GEDCOM format, further editing of the data, visualizing the data in family charts and their export. The design of the program is modular. It is implemented using C++ and Qt. The program was released for testing amongst the group of Czech and Slovak genealogists and their opinions on the program were obtained and analysed.
|
|
|
Code Generation from Object Oriented Petri Nets
Kelemen, Erik ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis focuses on transformation model described by object oriented Petri net to sequence diagram, which allows reverse mapping to original description. As a solution is used discrete simulation of model described in PNtalk language. Result of work is fully automated generator, which generates sequence diagram according to gathered data from simulation. Generator aims for minimal loss of relevant information and presenting valid sequence diagram.
|
|
|
Model Based Design of Software Systems
Hanák, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This bachelor thesis deals with modern approach in creating software systems that is named Model-Driven Software Development. This metodology eliminates a lot of critical problems that can appear in conventional metodologies of creating software systems. Main idea of this approach is based on posibility to generate final code from conceptual models that can be done automatically or semi-automatically.
|
|
|
Managing Writings of Law Company with Connections to Public Database
Trefilík, Jakub ; Bartík, Vladimír (referee) ; Očenášek, Pavel (advisor)
The thesis concerns the electronic maintenance of the files held by the law offices in the Czech Republic. It analyses current status and software means in place which could be used by Czech attorneys. The work analyses an approach of the Ministry of Justice of the Czech Republic with respect of an impact of the IT on the judicial environment. Based on this analysis a new application for the maintenance of the files of the law offices shall be proposed and implemented. The application is supplemented by a functionality connected with a link to the public database kept by the Ministry of Justice of the Czech Republic.
|
|
|
Library for Support of ReReSearch System Development
Heller, Stanislav ; Otrusina, Lubomír (referee) ; Šperka, Svatopluk (advisor)
At this time, the development of the ReReSearch system is significantly slowed down by mutual incompatibility of system modules, by the fact that developers often repeat already known mistakes and of course by poor communication between developers in general. To solve this problem, there was a need to create a component which would implement and unify often performed tasks in development of ReReSearch system and this way to spend time of ReReSearch developers. The result of this effort is so-called "rrslib" - a Python library, which is supposed to be a helper for everyone, who works on parts of ReReSearch project: database, data extractors, web-based agents, crawlers, XML-processing etc. The library should serve for more consistent, faster and more reliable development of ReReSearch system.
|
|
|
Process Documentation
Dostalík, Martin ; Bartík, Vladimír (referee) ; Kreslíková, Jitka (advisor)
The goal of this project is the identification with management, analysis and documentation of processes which are used in software development and creating prototype which support these processes. It explains why is important to create new working processes, measure their efficiency and improve them subsequently. Next, it describes the methods which help with the integration of these processes at work and, manage them, especially the Rational Unified Process from the IBM company. Then, I describe the ways how to develop www applications and, consequently, how to work with these applications. The thesis also involves the specification of the requirements and the scheme for the program support application of the process documentation and the description of this application. Another part of the thesis is the system in the active web side form serving to the utilization of a process library in the software projects developing.
|
guest ::
